<!DOCTYPE html> {#- -#}
<html lang="en"> {#- -#}
<head> {#- -#}
    <meta charset="utf-8"> {#- -#}
    <meta name="viewport" content="width=device-width, initial-scale=1.0"> {#- -#}
    <meta name="generator" content="rustdoc"> {#- -#}
    <meta name="description" content="{{page.description}}"> {#- -#}
    <meta name="keywords" content="{{page.keywords}}"> {#- -#}
    <title>{{page.title}}</title> {#- -#}
    <link rel="preload" as="font" type="font/woff2" crossorigin href="{{static_root_path | safe}}SourceSerif4-Regular.ttf.woff2"> {#- -#}
    <link rel="preload" as="font" type="font/woff2" crossorigin href="{{static_root_path | safe}}FiraSans-Regular.woff2"> {#- -#}
    <link rel="preload" as="font" type="font/woff2" crossorigin href="{{static_root_path | safe}}FiraSans-Medium.woff2"> {#- -#}
    <link rel="preload" as="font" type="font/woff2" crossorigin href="{{static_root_path | safe}}SourceCodePro-Regular.ttf.woff2"> {#- -#}
    <link rel="preload" as="font" type="font/woff2" crossorigin href="{{static_root_path | safe}}SourceSerif4-Bold.ttf.woff2"> {#- -#}
    <link rel="preload" as="font" type="font/woff2" crossorigin href="{{static_root_path | safe}}SourceCodePro-Semibold.ttf.woff2"> {#- -#}
    <link rel="stylesheet" type="text/css" {# -#}
          href="{{static_root_path | safe}}normalize{{page.resource_suffix}}.css"> {#- -#}
    <link rel="stylesheet" type="text/css" {# -#}
          href="{{static_root_path | safe}}rustdoc{{page.resource_suffix}}.css" {# -#}
          id="mainThemeStyle"> {#- -#}
    {%- for theme in themes -%}
        <link rel="stylesheet" type="text/css" {# -#}
            href="{{static_root_path | safe}}{{theme}}{{page.resource_suffix}}.css" {# -#}
        {%- if theme == "light" -%}
            id="themeStyle"
        {%- else -%}
            disabled
        {%- endif -%}
        >
    {%- endfor -%}
    <script id="default-settings" {# -#}
      {% for k, v in layout.default_settings %}
        data-{{k}}="{{v}}"
      {%- endfor -%}
    ></script> {#- -#}
    <script src="{{static_root_path | safe}}storage{{page.resource_suffix}}.js"></script> {#- -#}
    <script src="{{page.root_path | safe}}crates{{page.resource_suffix}}.js"></script> {#- -#}
    <script defer src="{{static_root_path | safe}}main{{page.resource_suffix}}.js"></script> {#- -#}
    {%- for script in page.static_extra_scripts -%}
    <script defer src="{{static_root_path | safe}}{{script}}.js"></script> {#- -#}
    {% endfor %}
    {%- if layout.scrape_examples_extension -%}
    <script defer src="{{page.root_path | safe}}scrape-examples{{page.resource_suffix}}.js"></script> {#- -#}
    {%- endif -%}
    {%- for script in page.extra_scripts -%}
    <script defer src="{{page.root_path | safe}}{{script}}.js"></script> {#- -#}
    {% endfor %}
    <noscript> {#- -#}
        <link rel="stylesheet" {# -#}
           href="{{static_root_path | safe}}noscript{{page.resource_suffix}}.css"> {#- -#}
    </noscript> {#- -#}
    {%- if layout.css_file_extension -%}
        <link rel="stylesheet" type="text/css" {# -#}
            href="{{static_root_path | safe}}theme{{page.resource_suffix}}.css"> {#- -#}
    {%- endif -%}
    {%- if layout.favicon -%}
        <link rel="shortcut icon" href="{{layout.favicon}}"> {#- -#}
    {%- else -%}
        <link rel="alternate icon" type="image/png" {# -#}
            href="{{static_root_path | safe}}favicon-16x16{{page.resource_suffix}}.png"> {#- -#}
        <link rel="alternate icon" type="image/png" {# -#}
            href="{{static_root_path | safe}}favicon-32x32{{page.resource_suffix}}.png"> {#- -#}
        <link rel="icon" type="image/svg+xml" {# -#}
            href="{{static_root_path | safe}}favicon{{page.resource_suffix}}.svg"> {#- -#}
    {%- endif -%}
    {{- layout.external_html.in_header | safe -}}
</head> {#- -#}
<body class="rustdoc {{page.css_class}}"> {#- -#}
    <!--[if lte IE 11]> {#- -#}
    <div class="warning"> {#- -#}
        This old browser is unsupported and will most likely display funky things. {#- -#}
    </div> {#- -#}
    <![endif]--> {#- -#}
    {{- layout.external_html.before_content | safe -}}
    <nav class="sidebar"> {#- -#}
        <div class="sidebar-menu" role="button">&#9776;</div> {#- -#}
        <a class="sidebar-logo" href="{{page.root_path | safe}}{{krate_with_trailing_slash | safe}}index.html"> {#- -#}
            <div class="logo-container"> {#- -#}
            {%- if layout.logo -%}
                <img src="{{layout.logo}}" alt="logo"> {#- -#}
            {%- else -%}
                <img class="rust-logo" src="{{static_root_path | safe}}rust-logo{{page.resource_suffix}}.png" alt="logo"> {#- -#}
            {%- endif -%}
            </div>
        </a> {#- -#}
        {{- sidebar | safe -}}
    </nav> {#- -#}
    <main> {#- -#}
        <div class="width-limiter"> {#- -#}
            <div class="sub-container"> {#- -#}
                <a class="sub-logo-container" href="{{page.root_path | safe}}{{krate_with_trailing_slash | safe}}index.html"> {#- -#}
                    {%- if layout.logo -%}
                    <img src="{{layout.logo}}" alt="logo">
                    {%- else -%}
                    <img class="rust-logo" src="{{static_root_path | safe}}rust-logo{{page.resource_suffix}}.png" alt="logo">
                    {%- endif -%}
                </a> {#- -#}
                <nav class="sub"> {#- -#}
                    <div class="theme-picker"> {#- -#}
                        <button id="theme-picker" aria-label="Pick another theme!" aria-haspopup="menu" title="themes"> {#- -#}
                            <img width="18" height="18" alt="Pick another theme!" {# -#}
                             src="{{static_root_path | safe}}brush{{page.resource_suffix}}.svg"> {#- -#}
                        </button> {#- -#}
                        <div id="theme-choices" role="menu"></div> {#- -#}
                    </div> {#- -#}
                    <form class="search-form"> {#- -#}
                        <div class="search-container"> {#- -#}
                            <div>{%- if layout.generate_search_filter -%}
                                <select id="crate-search"> {#- -#}
                                    <option value="All crates">All crates</option> {#- -#}
                                </select> {#- -#}
                                {%- endif -%}
                                <input {# -#}
                                    class="search-input" {# -#}
                                    name="search" {# -#}
                                    autocomplete="off" {# -#}
                                    spellcheck="false" {# -#}
                                    placeholder="Click or press ‘S’ to search, ‘?’ for more options…" {# -#}
                                    type="search"> {#- -#}
                            </div> {#- -#}
                            <button type="button" id="help-button" title="help">?</button> {#- -#}
                            <a id="settings-menu" href="{{page.root_path | safe}}settings.html" title="settings"> {#- -#}
                                <img width="18" height="18" alt="Change settings" {# -#}
                                     src="{{static_root_path | safe}}wheel{{page.resource_suffix}}.svg"> {#- -#}
                            </a> {#- -#}
                        </div> {#- -#}
                    </form> {#- -#}
                </nav> {#- -#}
            </div> {#- -#}
            <section id="main-content" class="content">{{- content | safe -}}</section> {#- -#}
            <section id="search" class="content hidden"></section> {#- -#}
        </div> {#- -#}
    </main> {#- -#}
    {{- layout.external_html.after_content | safe -}}
    <div id="rustdoc-vars" {# -#}
         data-root-path="{{page.root_path | safe}}" {# -#}
         data-current-crate="{{layout.krate}}" {# -#}
         data-themes="{{themes | join(sep=",") }}" {# -#}
         data-resource-suffix="{{page.resource_suffix}}" {# -#}
         data-rustdoc-version="{{rustdoc_version}}" {# -#}
    > {#- -#}
    </div>
</body> {#- -#}
</html> {#- -#}
